From: Florian Müllner <fmuellner@gnome.org>
Date: Thu, 3 Mar 2011 16:34:14 +0000 (+0100)
Subject: panel: Use a constant for the panel startup animation time
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~8797
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=6fbf8fa9e428a9d4965333e31dd3c0546f619796;p=gnome-shell.git

panel: Use a constant for the panel startup animation time

https://bugzilla.gnome.org/show_bug.cgi?id=643804
---

diff --git a/js/ui/panel.js b/js/ui/panel.js
index 1d1e10d60..37a720e1f 100644
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -25,6 +25,8 @@ const PANEL_HEIGHT = 26;
 
 const PANEL_ICON_SIZE = 24;
 
+const STARTUP_ANIMATION_TIME = 0.2;
+
 const HOT_CORNER_ACTIVATION_TIMEOUT = 0.5;
 
 const BUTTON_DND_ACTIVATION_TIMEOUT = 250;
@@ -1046,7 +1048,7 @@ Panel.prototype = {
         this.actor.y = oldY - this.actor.height;
         Tweener.addTween(this.actor,
                          { y: oldY,
-                           time: 0.2,
+                           time: STARTUP_ANIMATION_TIME,
                            transition: 'easeOutQuad'
                          });
     },